Introduction : les zabbâlîn, un objet sur-étudié ?
نویسندگان
چکیده
منابع مشابه
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps
متن کامل
Un système X Raisonner formellement sur les programmes ML
Résumé Nous proposons dans cet article un système de types dit renforcé permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. La stratégie d'évaluation est celle de ML. Le langage de types est celui de ML. Le caractère renforcé du système proposé vient de l'ajout aux règles de typage traditionnelles d'un principe d'induction structurelle sur les types...
متن کاملZéro-cycles de degré un sur les espaces homogènes
We explain how to build homogeneous spaces of a connected linear algebraic group, having zero-cycles of degree one but no rational point, even on a smooth compactification. Thus, we give a negative answer to a recent question asked by Burt Totaro. Parimala ([Pa]) has independently produced such spaces over fields of the type k((t)) (for k a suitable p-adic field), which are projective varieties...
متن کاملUn nouvel algorithme de consistance locale sur les nombres flottants
Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Égypte/Monde arabe
سال: 2019
ISSN: 1110-5097,2090-7273
DOI: 10.4000/ema.4452